1. Automata, languages and programming :
Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Machine theory.
Classification :
QA267
.
J543
1991
2. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
3. [Computer aided systems theory] [revised selected papers]
Author: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
4. Logic, algebra, and computation: international summer school directed by F.L. Bauer ... ]et al.[
پدیدآورنده : edited by Friedrich L. Bauer
موضوع : ، Logic programming- Congresses,، Algebra- Congresses,، Computational complexity- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
Author: edited by Friedrich L. Bauer
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
Classification :
QA
76
.
63
.
L618
1991
6. Proof and system-reliability
Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
7. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Author: edited by Harmut Ehrig...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
249-250
